Clones of Self-Dual and Self-K-Al Functions in K-valued Logic
نویسنده
چکیده
We give a classification of dual functions, they are m -al functions. We call a function m-al with respect to an operator if the operator lives any function unchanged after m times of using the operator. And 2 ≤ m ≤ k. Functions with different m have very different properties. We give theoretical results for clones of self-dual (m = 2) and selfk -al (m = k) functions in k -valued logic at k ≤ 3. And we give numerical results for clones of self-dual and self-3-al functions in 3-valued logic. In particular, the inclusion graphs of clones of self-dual and of self-3-al functions are not a lattice.
منابع مشابه
Partial Clones Containing all Boolean Monotone Self-dual Partial Functions
The study of partial clones on 2 := {0, 1} was initiated by R. V. Freivald. In his fundamental paper published in 1966, Freivald showed, among other things, that the set of all monotone partial functions and the set of all self-dual partial functions are both maximal partial clones on 2. Several papers dealing with intersections of maximal partial clones on 2 have appeared after Freivald work. ...
متن کاملSelf-cogenerator modules and their applications
Let $R$ be a ring and $M$ be a right $R$-module. In this paper, we give some properties of self-cogeneratormodules. If $M$ is self-cogenerator and $S = End_{R}(M)$ is a cononsingular ring, then $M$ is a$mathcal{K}$-module. It is shown that every self-cogenerator Baer is dual Baer.
متن کاملCounting the Maximal Partial Clones on a Finite Set
In many-valued logic finite basic sets are considered. We only have to consider the set Ek := {0, 1, . . . , k−1} with k ≥ 3 being fixed in the rest of this paper. The set Pk := {f (n) | f (n) : E k → Ek, n ≥ 1} is the set of all total functions on Ek. Let D ⊆ E k , n ≥ 1 and f (n) : D → Ek. Then f is called an n-ary partial function on Ek with domain D. We also write dom(f) = D. Let P̃ (n) k be...
متن کامل-
Let K be a (commutative) locally compact hypergroup with a left Haar measure. Let L1(K) be the hypergroup algebra of K and UCl(K) be the Banach space of bounded left uniformly continuous complex-valued functions on K. In this paper we show, among other things, that the topological (algebraic) center of the Banach algebra UCl(K)* is M(K), the measure algebra of K.
متن کاملFixed Point Theorems on Complete Quasi Metric Spaces Via C-class and A-Class Functions
In this paper, we present some fixed point theorems for single valued mappings on $K$-complete, $M$-complete and Symth complete quasi metric spaces. Here, for contractive condition, we consider some altering distance functions together with functions belonging to $C$-class and $A$-class. At the same time, we will consider two different type $M$ functions in contractive conditions because the qu...
متن کامل